Annotated nonmonotonic rule systems
نویسندگان
چکیده
منابع مشابه
A Theory of Nonmonotonic Rule Systems
In mathematics, a consequence drawn by a deduction from a set of premises can also drawn by the same deduction from any larger set of premises. The deduction remains a deduction no matter how the axioms are increased. This is monotonic reasoning, much imitated in other, less certain, disciplines. The very nature of monotonic reasoning makes mathematical proofs permanent, independent of new info...
متن کاملNonmonotonic rule systems with recursive sets of restraints
Abstract We study nonmonotonic rule systems with rules that admit infinitely many restraints. We concentrate on the case when the constraints of rules form a recursive sets and there is a uniform enumeration of codes for rules. We show that the theory developed for nonmonotnic rule systems admitting the rules with finite number of restraints can be lifted to such rule systems. We give tight est...
متن کاملA Nonmonotonic Rule System using Ontologies
The development of the Semantic Web proceeds in layers. Currently the most advanced layer that has reached maturity is the ontology layer, in the form of the DAML+OIL language which corresponds to a rich description logic. The next step will be the the realization of logical rule systems on top of the ontology layer. Computationally simple nonmonotonic rule systems show promise to play an impor...
متن کاملA Theory of Nonmonotonic Inheritance Based on Annotated Logic
We propose a logical language for representing networks with nonmonotonic multiple inheritance. The language is based on a variant of annotated logic studied in 5, 6, 17, 18, 19, 20, 21]. The use of annotated logic provides a rich setting that allows to disambiguate networks whose topology does not provide enough information to decide how properties are to be inherited. The proposed formalism h...
متن کاملOn the relationship between annotated logic programs and nonmonotonic formalisms
In the past, we developed a semantics for a restricted annotated logic language for inheritance reasoning. Here we generalize it to annotated Horn logic programs. We first provide a formal account of the language, describe its semantics, and provide an interpreter written in Prolog for it. We then investigate its relationship to Belnap’s 4-valued logic, Gelfond and Lifschitz’s semantics for log...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Theoretical Computer Science
سال: 1997
ISSN: 0304-3975
DOI: 10.1016/s0304-3975(96)00127-2